Integrating HCI concerns into the design of safety critical interactive systems: a case study

Using Formal Methods in Safety-Critical Interactive System Design: from Architecture-based Approaches to Tool-based Development

Although formal methods are increasingly used by researchers in HCI, their usage in actual interactive developments has not been put in practice. In this article, we describe our experience with a specific formal method –the B method– from two viewpoints. On the one hand, we demonstrate how it is possible to use formal methods on real development, from specification to actual code. Our case stu...

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties

In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular attention to those applications where both usability and safety are main concerns. The method is supported by a set of tools. We will also discuss how the resulting environment can be helpful in reasoning about multi-user interactions using the...

Closing gaps: integrating food safety management systems into the veterinary curriculum, as a tool to improve food quality and trade

Human computer interaction and medical devices

To achieve dependable, usable, and well-engineered interactive devices in healthcare requires applied Human Computer Interaction (HCI) research and awareness of HCI issues throughout the lifecycle, from design through to procurement, training and use. This paper shows that some healthcare devices fall far short, and thus identifies a gap in applied HCI. We use a basic, interactive hospital bed ...

Developing a conceptual model based upon the Latin Hypercube Sampling for integrating OHS into project risk evaluation

Abstract Project management in construction industry, in many cases, is imperfect with respect to the integration of Occupational Health and Safety (OHS) risks. This imperfection exhibits itself as complications affecting the riskiness of industrial procedures and is illustrated usually by poor awareness of OHS within project teams. Difficulties on OHS regularly came about in the construction i...